- first and higher order properties
- Макаров: свойства первого и высших порядков
Универсальный англо-русский словарь. Академик.ру. 2011.
first and higher order properties
Смотреть что такое "first and higher order properties" в других словарях:
Higher-order logic — In mathematics, higher order logic is distinguished from first order logic in a number of ways.One of these is the type of variables appearing in quantifications; in first order logic, roughly speaking, it is forbidden to quantify over predicates … Wikipedia
Higher-order abstract syntax — In computer science, higher order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.Relation to first order abstract syntaxAn abstract syntax tree is abstract… … Wikipedia
higher-order logic — One in which the variables of the quantifiers are permitted to range over properties and functions as well as individuals (see also first order language ) … Philosophy dictionary
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Order of Aviz — (Ordem Militar de Avis) Emblem of the Order Award of … Wikipedia
Order of the Sacred Treasure — 瑞宝章 Grand Cordon of the Order of the Sacred Treasure Awarded by the Emperor of Japan Type … Wikipedia
Order (exchange) — An order in a market such as a stock market, bond market, commodity market or financial derivative market is an instruction from customers to brokers to buy or sell on the exchange. These instructions can be simple or complicated. There are some… … Wikipedia
Order of Saint Lazarus — This article concerns the order of knighthood named after Saint Lazarus. For other uses of the name Lazarus, see Lazarus (name). Cross of the Order of Saint Lazarus The Military and Hospitaller Order of Saint Lazarus of Jerusalem is an order of… … Wikipedia
first-order language — A language in which the quantifiers contain only variables ranging over individuals (not, in particular, ranging over properties of those individuals), and the functions have as their arguments only individual variables or constants. In a second… … Philosophy dictionary
First War of Scottish Independence — Infobox Military Conflict conflict= First War of Scottish Independence partof= date=1296 1328 place=Scotland result=Scottish victory, Scotland maintained its independence combatant1= combatant2= commander1=Andrew de Moray Sir William Wallace… … Wikipedia
Order of Saint John (Bailiwick of Brandenburg) — Badge Religious affiliation Christian (Protestant) Ribbon Black Herrenmeister H.R.H. Oskar, Prince of Prussia Established … Wikipedia
